1. A 25-Year perspective on logic programming
Author: / Agostino Dovier, Enrico Pontelli (Eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Italian Association for Logic Programming,Logic programming
Classification :
QA76
.
63
.
T84
2010
2. A primer on scientific programming with Python /
Author: Hans Petter Langtangen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
Classification :
QA76
.
73
.
P98
3. A science of operations: Machines, logic and the invention of programming
Author: / Mark Priestley (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
4. AI and Cognitive Science '92 :
Author: edited by Kevin Ryan, Richard F.E. Sutcliffe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
5. Advanced concepts for intelligent vision systems :
Author: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
Classification :
TA1634
6. Advances in Intelligent Systems and Applications - Volume 2 Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12-14, 2012
Author: Jeng-Shyang Pan [aut]; Ching-Nung Yang [aut]; Chia-Chen Lin [aut]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied physical engineering,fuzzy logic,robots
7. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Author: / Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
8. Advances in artificial intelligence :
Author: Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
Classification :
Q334
.
C36
2018
9. Advances in artificial intelligence: 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018 Toronto, ON, Canada, May 8–11, 2018 Proceedings
Author: / Edited by Ebrahim Bagheri, Jackie C. K. Cheung.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.,Artificial intelligence.
10. Advances in information systems science. Volume 3
Author: edited by Julius T. Tou.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information science.,Information technology.
11. Algebraic foundations in computer science :
Author: edited by Werner Kuich, George Rahonis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
A44
2011
12. All About Maude--A High-performance Logical Framewor
Author: / Manuel Clavel ... [et al.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Rewriting systems (Computer science),Human information processing.
Classification :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
13. Analytical and stochastic modeling techniques and application
Author: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
Classification :
TK5105
.
5
.
I58
2010
14. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Author: / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
15. Asynchronous sequential machine design and analysis
Author: / Richard F. Tinder
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
Classification :
E-BOOK
16. Automata, Languages and Programming :
Author: edited by Hermann A. Maurer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Software engineering.,Theory of Computation.
17. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
18. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
19. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
20. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
